La lutte pour l’usage des terres à Notre-Dame-des-Landes

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Extraction des connaissances à partir du Web pour la recherche des images géoréférencées

Geolocalized databases are becoming necessary in a wide variety of application domains. The manual creation of such databases is an expensive operation which stimulated the interest for the automation of their construction, by mining geographic information from the Web. In this article, we present and evaluate a new automated approach for creating a geographical database. Our technique uses Wik...

Un système d'information géographique 3D pour l'exploration des règles d'urbanisme. Application à la constructibilité des bâtiments

RÉSUMÉ. Cet article présente l’utilisation d’un SIG 3D pour représenter, analyser et explorer les règles de constructibilité de bâtiments les plus courantes prises en compte dans les plans locaux d’urbanisme. Un modèle est proposé pour permettre la saisie et la manipulation de ces règles. Ces dernières s’appliquent sur une base de données géographiques structurée. L’exploration de ces règles es...

La lutte contre les argaside, gale psoroptique et phtiriase des moutons par l'administration des insecticides par la vole buccale